Eine Werkzeug, welches Informationen zur Ausführungszeit über den Programmcode bereitstellt. Diese Werkzeuge werden im allgemeinen genutzt um undefinierte Zeiger zu identifizieren, Zeigerberechnungen zu prüfen und die Speicherzuteilung, -verwendung und -freigabe zu überwachen und Speicherengpässe zu kennzeichnen.